概念A和B的外延完全不同，并且二者的外延之和小于二者属概念的全部外延，则A、B概念之间具有（）。

• A、交叉关系
• B、反对关系
• C、真包含于关系
• D、真包含关系

“要么p，要么q”的逻辑含义是（）。

• A、P和q必有一真，并可同真
• B、P和q至多一真，也可能同假
• C、P真或q真，但不可能同时为真
• D、P和q可能都真

三段论第一格的结构是：

试运用三段论基本规则证明第一格的大前提必须是全称的。